Rigid Mixin Modules
ثبت نشده
چکیده
منابع مشابه
A Reduction Semantics for Call-by-value Mixin Modules
Mixin modules are a framework for modular programming that supports code parameterization, incremental programming via late binding and redefinitions, and cross-module recursion. In this paper, we develop a language of mixin modules that supports call-by-value evaluation, and formalize a reduction semantics and a sound type system for this language.
متن کاملCall-by-Value Mixin Modules: Reduction Semantics, Side Effects, Types
Mixin modules are a framework for modular programming that supports code parameterization, incremental programming via late binding and redefinitions, and cross-module recursion. In this paper, we develop a language of mixin modules that supports call-by-value evaluation, and formalize a reduction semantics and a sound type system for this language.
متن کاملA Theory of Mixin Modules: Basic and Derived Operators
Mixins are modules in which some components are deferred, i.e. their deenition has to be provided by another module. Moreover, diierently from parameterized modules (like ML functors), mixin modules can be mutually dependent and their composition supports redeen-ition of components (overriding). In this paper, we present a formal model of mixins and their basic composition operators. These oper...
متن کاملAn algebra of mixin modules
Mixins are modules which may contain deferred components, i.e. components not deened in the module itself, and allow deenitions to be overridden. We give an axiomatic deenition of a set of operations for mixin combination, corresponding to a variety of constructs existing in programming languages (merge, hiding, overriding, functional composition , : : :). In particular, we show that they can a...
متن کاملA Mixin’ Up the ML Module System
ML modules provide hierarchical namespace management, as well as fine-grained control over the propagation of type information, but they do not allow modules to be broken up into mutually recursive, separately compilable components. Mixin modules facilitate recursive linking of separately compiled components, but they are not hierarchically composable and typically do not support type abstracti...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2003